местная переменная

См. также в других словарях:

• местная переменная — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN local variable …   Справочник технического переводчика

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• Логика предикатов —         раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… …   Большая советская энциклопедия

• ЛОГИЧЕСКАЯ ФОРМУЛА — выражение в языке формальной логики, являющееся аналогом предложения. Точное определение Л. ф. дается для каждого конкретного логич. языка. Как правило, определение формулы имеет индуктивный характер: выделяется класс выражений, называемых… …   Математическая энциклопедия

• Список галактик — Hubble Ultra Deep Field показывает более чем 10 000 галактик в 0,000024 % неба …   Википедия

• Многосортная алгебра — Под многосортной алгеброй понимают некоторое множество объектов с определёнными на нём операциями (функциями). Объекты могут быть разнотипными, тогда каждому объекту приписывают так называемый сорт некоторое имя (или символ), характеризующий тип… …   Википедия

• Бахр-Дар — Город Бахар Дар ባሕር ዳር Страна ЭфиопияЭфиопия …   Википедия

• Школьная гигиена* — представляет отдел общественной гигиены, имеющий задачей охранение здоровья учащихся от тех вредных влияний, которые оказывает школа; она учит, каким образом нужно устраивать школьные помещения, как нужно приспособлять школьные принадлежности… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Школьная гигиена — представляет отдел общественной гигиены, имеющий задачей охранение здоровья учащихся от тех вредных влияний, которые оказывает школа; она учит, каким образом нужно устраивать школьные помещения, как нужно приспособлять школьные принадлежности… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич …   Математическая энциклопедия

• Терм (логика) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …   Википедия